# -*- coding: utf-8 -*-

# Form implementation generated from reading ui file 'principal.ui'
#
# Created: Thu Jul 30 01:16:31 2009
#      by: PyQt4 UI code generator 4.4.4
#
# WARNING! All changes made in this file will be lost!
import os
from PyQt4 import QtCore, QtGui

class Ui_Principal(object):
    def setupUi(self, Principal):
        Principal.setObjectName("Principal")
        Principal.resize(600, 400)
        icon = QtGui.QIcon()
        icon.addPixmap(QtGui.QPixmap("Lambda.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
        icon.addPixmap(QtGui.QPixmap("Lambda.png"), QtGui.QIcon.Normal, QtGui.QIcon.On)
        Principal.setWindowIcon(icon)
        Principal.setAutoFillBackground(False)
        self.centralWidget = QtGui.QWidget(Principal)
        self.centralWidget.setObjectName("centralWidget")
        self.output = QtGui.QTextBrowser(self.centralWidget)
        self.output.setGeometry(QtCore.QRect(20, 211, 421, 131))
        self.output.setObjectName("output")
        self.input = QtGui.QPlainTextEdit(self.centralWidget)
        self.input.setGeometry(QtCore.QRect(20, 10, 421, 181))
        self.input.setObjectName("input")
        self.sintax = QtGui.QPushButton(self.centralWidget)
        self.sintax.setGeometry(QtCore.QRect(480, 240, 75, 23))
        self.sintax.setObjectName("sintax")
        self.tipar = QtGui.QPushButton(self.centralWidget)
        self.tipar.setGeometry(QtCore.QRect(480, 270, 75, 23))
        self.tipar.setObjectName("tipar")
        self.reducir = QtGui.QPushButton(self.centralWidget)
        self.reducir.setGeometry(QtCore.QRect(480, 300, 75, 23))
        self.reducir.setObjectName("reducir")
        self.listWidget = QtGui.QListWidget(self.centralWidget)
        self.listWidget.setGeometry(QtCore.QRect(460, 10, 121, 192))
        self.listWidget.setObjectName("listWidget")
        #QtGui.QListWidgetItem(self.listWidget)
        Principal.setCentralWidget(self.centralWidget)
        self.menuBar = QtGui.QMenuBar(Principal)
        self.menuBar.setGeometry(QtCore.QRect(0, 0, 600, 21))
        self.menuBar.setObjectName("menuBar")
        Principal.setMenuBar(self.menuBar)
        self.mainToolBar = QtGui.QToolBar(Principal)
        self.mainToolBar.setObjectName("mainToolBar")
        Principal.addToolBar(QtCore.Qt.TopToolBarArea, self.mainToolBar)
        self.statusBar = QtGui.QStatusBar(Principal)
        self.statusBar.setObjectName("statusBar")
        Principal.setStatusBar(self.statusBar)
        self.actionSalir = QtGui.QAction(Principal)
        self.actionSalir.setObjectName("actionSalir")

        self.retranslateUi(Principal)
        QtCore.QObject.connect(self.sintax, QtCore.SIGNAL("clicked()"), Principal.Sintaxis)
        QtCore.QObject.connect(self.tipar, QtCore.SIGNAL("clicked()"), Principal.Tipar)
        QtCore.QObject.connect(self.reducir, QtCore.SIGNAL("clicked()"), Principal.Reducir)
        QtCore.QMetaObject.connectSlotsByName(Principal)

    def retranslateUi(self, Principal):
        Principal.setWindowTitle(QtGui.QApplication.translate("Principal", "Calculo lambda", None, QtGui.QApplication.UnicodeUTF8))
        self.sintax.setText(QtGui.QApplication.translate("Principal", "Sintaxis", None, QtGui.QApplication.UnicodeUTF8))
        self.tipar.setText(QtGui.QApplication.translate("Principal", "Tipar", None, QtGui.QApplication.UnicodeUTF8))
        self.reducir.setText(QtGui.QApplication.translate("Principal", "Reducir", None, QtGui.QApplication.UnicodeUTF8))

        self.actionSalir.setText(QtGui.QApplication.translate("Principal", "Salir", None, QtGui.QApplication.UnicodeUTF8))

